| 翻訳と辞書 |
| Timeline of mathematical logic ： ウィキペディア英語版 |
Timeline of mathematical logic
A timeline of mathematical logic. See also History of logic.
== 19th century ==
* 1847 – George Boole formalizes symbolic logic in ''The Mathematical Analysis of Logic'', defining what is now called Boolean algebra.
* 1874 – Georg Cantor proves that the set of all real numbers is uncountably infinite but the set of all real algebraic numbers is countably infinite. His proof does not use his famous diagonal argument, which he published in 1891.
* 1895 – Georg Cantor publishes a book about set theory containing the arithmetic of infinite cardinal numbers and the continuum hypothesis.
* 1899 – Georg Cantor discovers a contradiction in his set theory.
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「Timeline of mathematical logic」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|